SibylFS: formal specification and oracle-based testing for POSIX and real-world file systems Tom Ridge1 David Sheets2 Thomas Tuerk3 Andrea Giugliano1 Anil Madhavapeddy2 Peter Sewell2 1 University of Leicester 2 Universi

Source URL: anil.recoil.org

• Computing
• Software
• System software
• Application programming interfaces
• Rename
• Symbolic link
• POSIX
• File system permissions
• Hard link
• File locking
• File system
• Tar

System Description: leanK 2.0 Bernhard Beckert1 Rajeev Gor´e2,⋆ 1 University of Karlsruhe, Institute for Logic, Complexity and Deduction Systems, DKarlsruhe, Germany. E-mail:

Source URL: formal.iti.kit.edu

System Description: leanK 2.0 Bernhard Beckert1 Rajeev Gor´e2,⋆ 1 University of Karlsruhe, Institute for Logic, Complexity and Deduction Systems, DKarlsruhe, Germany. E-mail:

Source URL: formal.iti.kit.edu

LACL 2012 Logical Aspects of Computational Linguistics System Demonstrations

Source URL: lacl.gforge.inria.fr

• Linguistics
• Grammar
• Formal languages
• Cognitive science
• Syntax
• Tree-adjoining grammar
• Categorial grammar

Toilet_Thermo_Governors_141015a

Source URL: www.dubberly.com

• Cybernetics
• Academia
• Systems science
• Cognitive science
• Risk
• Systems theory
• Formal sciences
• Systems thinking
• Second-order cybernetics
• System
• Autopoiesis
• Control theory

CTP-based programming languages ? Considerations about an experimental design Florian Haftmann Cezary Kaliszyk

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal methods
• Isabelle
• Type theory
• HOL
• Automated reasoning
• Computer algebra system
• Vienna Development Method
• Software development

Trustworthy Medical Device Software Kevin Fu Assistant Professor University of Massachusetts Amherst Department of Computer Science

Source URL: spqr.eecs.umich.edu

• Technology
• Computing
• Software engineering
• Formal methods
• Medical technology
• Software development process
• Medical equipment
• Systems engineering
• Medical device
• Life-critical system
• IEC 62304
• Computer security

408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41,

Source URL: homes.cs.washington.edu

• Theoretical computer science
• Formal methods
• Type theory
• Algorithms
• Programming paradigms
• Finite-state machine
• Algorithm
• Declarative programming
• HindleyMilner type system
• RANSAC
• Monad

Modular Interpreted Systems Wojciech Jamroga Thomas Ågotnes Department of Informatics

Source URL: folk.uib.no

• Mathematics
• Measurement
• Academia
• Artificial intelligence
• Formal epistemology
• Modal logic
• Algebraic geometry
• Q0
• Symbol
• Epistemic modal logic
• Centimetregramsecond system of units
• Valuation

Design and Implementation of the LogicBlox System Molham Aref Balder ten Cate Todd J. Green Emir Pasalic Todd L. Veldhuizen

Source URL: developer.logicblox.com

• Computing
• Software engineering
• Software
• Grammar
• SQL keywords
• Formal methods
• Datalog
• Prolog
• Predicate
• Relational model
• Join
• Extensible Storage Engine